Retractable Contracts
نویسندگان
چکیده
In calculi for modelling communication protocols, internal and external choices play dual roles. Two external choices can be viewed naturally as dual too, as they represent an agreement between the communicating parties. If the interaction fails, the past agreements are good candidates as points where to roll back, in order to take a different agreement. We propose a variant of contracts with synchronous rollbacks to agreement points in case of deadlock. The new calculus is equipped with a compliance relation which is shown to be decidable.
منابع مشابه
Session Types for Orchestrated Interactions
In the setting of the π-calculus with binary sessions, we aim at relaxing the notion of duality of session types by the concept of retractable compliance developed in contract theory. This leads to extending session types with a new type operator of “speculative selection” including choices not necessarily offered by a compliant partner. We address the problem of selecting successful communicat...
متن کاملErratum: Applications of epi-retractable and co-epi-retractable modules
In this errata, we reconsider and modify two propositions and their corollaries which were written on epi-retractable and co-epi-retractable modules.
متن کاملApplications of epi-retractable modules
An R-module M is called epi-retractable if every submodule of MR is a homomorphic image of M. It is shown that if R is a right perfect ring, then every projective slightly compressible module MR is epi-retractable. If R is a Noetherian ring, then every epi-retractable right R-module has direct sum of uniform submodules. If endomorphism ring of a module MR is von-Neumann regular, then M is semi-...
متن کاملApplications of Epi-Retractable and Co-Epi-Retractable Modules
A module M is called epi-retractable if every submodule of M is a homomorphic image of M. Dually, a module M is called co-epi-retractable if it contains a copy of each of its factor modules. In special case, a ring R is called co-pli (resp. co-pri) if RR (resp. RR) is co-epi-retractable. It is proved that if R is a left principal right duo ring, then every left ideal of R is an epi-retractable ...
متن کاملEssentially Retractable Modules
We call a module essentially retractable if HomR for all essential submodules N of M. For a right FBN ring R, it is shown that: (i) A non-zero module is retractable (in the sense that HomR for all non-zero ) if and only if certain factor modules of M are essentially retractable nonsingular modules over R modulo their annihilators. (ii) A non-zero module is essentially retractable if and on...
متن کامل